Génie Logiciel Formel: Théorie, Pratique

RÉSUMÉ This HDR is a summary of the last 20 years of L’HDR est un condensé de nos 20 dernières anmy research career (since I started my PhD). It pronées de carrière dans la recherche (depuis que nous vides an overview of all my research activities. It avons commencé notre PhD). Elle fournit une vue focuses on my contributions to the domain of ford’ensemble de toutes nos activités de recherche. Elle mal software engineering. With respect to fundase focalise sur nos contributions dans le domaine du mental theory, it reports on my work in the area génie logiciel formel. Au niveau de la théorie fonof feature interactions and feature composition. To damentale, elle rend compte de notre travail dans le demonstrate my ability to apply research to realdomaine des interactions de service et de leur comworld problems, it reports on my research on elecposition. Afin de démontrer notre capacité à aptronic voting. It then reports on my research into pliquer la recherche aux problèmes du monde réel, the symbiotic nature of research and teaching, with elle expose notre recherche sur le vote électronemphasis on formal methods and problem based ique. Elle fait également un compte rendu de notre learning. Finally, it puts forward a proposal for recherche sur la nature symbiotique de la recherche et research into a software product line for e-voting de l’enseignement, avec une accentuation sur les méthsystems, that combines theory, practice and educaodes formelles et l’apprentissage par problèmes. Pour tion in a complementary manner. finir, elle met en avant une proposition de recherche sur une ligne de produit logiciel pour les systèmes de vote électronique qui combinent de façon complémentaire théorie, pratique et pedagogie. I can no other answer make but thanks, Celui qui dans la vie est parti de zéro pour n’arriver à rien And thanks, and ever thanks, dans l’existence n’a de merci à dire à personne. William Shakespeare, [Twelfth Night, Act 3] Pierre Dac , [Les Pensées]